Algorithmic Applications of Tree-Cut Width
نویسندگان
چکیده
The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the treewidth minors. In this paper, we provide first algorithmic applications of hard combinatorial problems. Tree-cut is known be lower-bounded by function treewidth, but it can much larger and hence has potential facilitate efficient solution problems that are not fixed-parameter tractable (FPT) when parameterized treewidth. We introduce notion nice decompositions FPT algorithms for showcase Capacitated Vertex Cover, Dominating Set, Imbalance an input graph. On other hand, show List Coloring, Precoloring Extension, Boolean CSP (the last incidence graph) W[1]-hard unlikely width.
منابع مشابه
Algorithmic Applications of Tree-Cut Width
The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the graph parameter treewidth plays with respect to minors. In this paper we provide the first algorithmic applications of tree-cut width to hard combinatorial problems. Tree-cut width is known to be lower-bounded by a function of treewidth, but it can be much larger and hence has the poten...
متن کاملWidth Parameters Beyond Tree-width and their Applications
PETR HLINĚNÝ1,2,*, SANG-IL OUM3,7, DETLEF SEESE4 AND GEORG GOTTLOB5,6 Faculty of Informatics, Masaryk University, Botanická 68a, 602 00 Brno, Czech Republic VŠB, Technical University of Ostrava, Ostrava, Czech Republic School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332-0160, USA Institute AIFB, University Karlsruhe (TH), D-76128 Karlsruhe, Germany Oxford University Comput...
متن کاملThread Graphs, Linear Rank-Width and Their Algorithmic Applications
Many NP-hard graph problems can be efficiently solved on graphs of bounded tree-width. Several articles have recently shown that the so-called rank-width parameter also allows efficient solution of most of these NP-hard problems, while being less restrictive than tree-width. On the other hand however, there exist problems of practical importance which remain hard on graphs of bounded rank-width...
متن کاملTowards Algorithmic Cut-Introduction
We describe a method for abbreviating an analytic proof in classical first-order logic by the introduction of a lemma. Our algorithm is based on first computing a compressed representation of the terms present in the analytic proof and then a cut-formula that realizes such a compression. This method can be applied to the output of automated theorem provers, which typically produce analytic proofs.
متن کاملAn Algorithmic Friedman-Pippenger Theorem on Tree Embeddings and Applications
An (n, d)-expander is a graph G = (V,E) such that for every X ⊆ V with |X| ≤ 2n− 2 we have |ΓG(X)| ≥ (d + 1)|X|. A tree T is small if it has at most n vertices and has maximum degree at most d. Friedman and Pippenger (1987) proved that any (n, d)-expander contains every small tree. However, their elegant proof does not seem to yield an efficient algorithm for obtaining the tree. In this paper, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIAM Journal on Discrete Mathematics
سال: 2022
ISSN: ['1095-7146', '0895-4801']
DOI: https://doi.org/10.1137/20m137478x